Ali Mili : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (105)
Les plus populaires
Liste
- Liste
- Tableau

1

Machine translation from Arabic to English and French

Chafia Mankai, Ali Mili

Journal:

Information Sciences - Applications

Année:

1995

Langue:

english

Fichier:

PDF, 1.01 MB

english, 1995

2

A method of programming : By Edsger W. Dijkstra and W.H.J. Feijen. Addison-Wesley, Wokingham, United Kingdom, 1988, Price £15.95 (paperback), ISBN 0-201-17536-3.

Journal:

Science of Computer Programming

Année:

1989

Langue:

english

Fichier:

PDF, 243 KB

english, 1989

3

Representation and manipulation of information systems: A simplified approach

Ali Mili, Donna Reese

Journal:

Journal of Systems and Software

Année:

1983

Langue:

english

Fichier:

PDF, 870 KB

english, 1983

4

A bifurcation analysis of subsynchronous oscillations in power systems

Ali H. Nayfeh, Ahmad Harb, Char-Ming Chin, Anan M.A. Hamdan, Lamine Mili

Journal:

Electric Power Systems Research

Année:

1998

Langue:

english

Fichier:

PDF, 227 KB

english, 1998

5

Convergence: Integrating Termination and Abort-Freedom

Diallo, Nafi, Ghardallou, Wided, Desharnais, Jules, Mili, Ali

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2018

Langue:

english

Fichier:

PDF, 602 KB

english, 2018

6

Dynamic risk management unveil productivity improvements

Aymen Mili, Samuel Bassetto, Ali Siadat, Michel Tollenaere

Journal:

Journal of Loss Prevention in the Process Industries

Année:

2009

Langue:

english

Fichier:

PDF, 833 KB

english, 2009

7

Modeling the evolution of operating systems: An empirical study

Yi Peng, Fu Li, Ali Mili

Journal:

Journal of Systems and Software

Année:

2007

Langue:

english

Fichier:

PDF, 368 KB

english, 2007

8

Relational heuristics for the design of deterministic programs

Ali Mili, Jules Desharnais, Fatma Mili

Journal:

Acta Informatica

Année:

1987

Langue:

english

Fichier:

PDF, 1.63 MB

english, 1987

9

On the lattice of specifications: Applications to a specification methodology

Noureddine Boudriga, Fathi Elloumi, Ali Mili

Journal:

Formal Aspects of Computing

Année:

1992

Langue:

english

Fichier:

PDF, 1.35 MB

english, 1992

10

A cybersecurity model in cloud computing environments

Rabai, Latifa Ben Arfa, Jouini, Mouna, Aissa, Anis Ben, Mili, Ali

Journal:

Journal of King Saud University - Computer and Information Sciences

Année:

2013

Langue:

english

Fichier:

PDF, 751 KB

english, 2013

11

[ACM Press the 21st international conference - Los Angeles, California, United States (1999.05.16-1999.05.22)] Proceedings of the 21st international conference on Software engineering - ICSE '99 - Science and engineering for software development

Basili, Victor, DeMarco, Tom, Mili, Ali

Année:

1999

Langue:

english

Fichier:

PDF, 228 KB

english, 1999

12

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 10466 || Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation

Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène

Année:

2017

Langue:

english

Fichier:

PDF, 722 KB

english, 2017

13

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 10466 || Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude

Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène

Année:

2017

Langue:

english

Fichier:

PDF, 300 KB

english, 2017

14

[IEEE 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) - Xi'an, China (2019.4.22-2019.4.27)] 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) - Program Repair at Arbitrary Fault Depth

Khaireddine, Besma, Martinez, Matias, Mili, Ali

Année:

2019

Langue:

english

Fichier:

PDF, 386 KB

english, 2019

15

[IEEE 2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Sofia, Bulgaria (2019.7.22-2019.7.26)] 2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Fault Density, Fault Depth and Fault Multiplicity: The Reward of Discernment

Khaireddine, Besma, Zakharchenko, Aleksandr, Mili, Ali

Année:

2019

Langue:

english

Fichier:

PDF, 287 KB

english, 2019

16

Correctness enhancement: a pervasive software engineering paradigm

Khaireddine, Besma, AbdelAli, Marwa Ben, Jilani, Lamia Labed, Zakharchenko, Aleksandr, Mili, Ali

Journal:

International Journal of Critical Computer-Based Systems

Année:

2020

Fichier:

PDF, 759 KB

2020

17

On the use of executable assertions in structured programs

Ali Mili, Sihem Guemara, Ali Jaoua, Paul Torrés

Journal:

Journal of Systems and Software

Année:

1987

Langue:

english

Fichier:

PDF, 1.49 MB

english, 1987

18

The use of executable assertions for error detection and damage assessment

Ali Jaoua, Ali Mili

Journal:

Journal of Systems and Software

Année:

1990

Langue:

english

Fichier:

PDF, 2.16 MB

english, 1990

19

A foreword to the special issue of the journal of systems and software on the Role of languages in programming (the Tenth Tunisian-French Seminar of Computer Science)

Jean Pierre Finance, Ali Mili

Journal:

Journal of Systems and Software

Année:

1990

Langue:

english

Fichier:

PDF, 446 KB

english, 1990

20

Heuristics for constructing while loops

Fatma Mili, Ali Mili

Journal:

Science of Computer Programming

Année:

1992

Langue:

english

Fichier:

PDF, 2.30 MB

english, 1992

21

On the mathematics of sequential decompositions

Jules Desharnais, Ali Mili, Fatma Mili

Journal:

Science of Computer Programming

Année:

1993

Langue:

english

Fichier:

PDF, 2.04 MB

english, 1993

22

A relational division operator: the conjugate kernel

Jules Desharnais, Ali Jaoua, Fatma Mili, Noureddine Boudriga, Ali Mili

Journal:

Theoretical Computer Science

Année:

1993

Langue:

english

Fichier:

PDF, 1.45 MB

english, 1993

23

Embedding a demonic semilattice in a relation algebra

Jules Desharnais, Nadir Belkhiter, Salah Ben Mohamed Sghaier, Fairouz Tchier, Ali Jaoua, Ali Mili, Nejib Zaguia

Journal:

Theoretical Computer Science

Année:

1995

Langue:

english

Fichier:

PDF, 1.52 MB

english, 1995

24

Kinetics of the catalytic oxidation of nitrite over illuminated aqueous suspensions of TiO2

Antonio Zafra, Josep Garcia, Ali Milis, Xavier Domènech

Journal:

Journal of Molecular Catalysis

Année:

1991

Langue:

english

Fichier:

PDF, 445 KB

english, 1991

25

Heterogeneous photocatalytic oxidation of nitrite over iron-doped TiO2 samples

Ali Milis, José Peral, Xavier Domènech, J.A. Navío

Journal:

Journal of Molecular Catalysis

Année:

1994

Langue:

english

Fichier:

PDF, 488 KB

english, 1994

26

Photoassisted oxidation of nitrite to nitrate over different semiconducting oxides

Ali Milis, Xavier Domènech

Journal:

Journal of Photochemistry and Photobiology A: Chemistry

Année:

1993

Langue:

english

Fichier:

PDF, 403 KB

english, 1993

27

Harnessing a Refinement Theory to Compute Loop Functions

Ali Mili, Rahma Ben Ayed, Shir Aharon, Chaitanya Nadkarni

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 309 KB

english, 2009

28

Reflexive transitive invariant relations: A basis for computing loop functions

Ali Mili, Shir Aharon, Chaitanya Nadkarni, Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi

Journal:

Journal of Symbolic Computation

Année:

2010

Langue:

english

Fichier:

PDF, 944 KB

english, 2010

29

Mathematics for reasoning about loop functions

Ali Mili, Shir Aharon, Chaitanya Nadkarni

Journal:

Science of Computer Programming

Année:

2009

Langue:

english

Fichier:

PDF, 1.09 MB

english, 2009

30

Software engineering technology watch

R.D. Cowan, Alan McKendall Jr, Ali Mili, L. Yang, L. Wang, D. Chen, V. Janardhana, T. Spencer

Journal:

Information Sciences

Année:

2002

Langue:

english

Fichier:

PDF, 403 KB

english, 2002

31

Guest editor's corner

Jože Zupančič, Stanisław Wrycza, Ali Mili

Journal:

Journal of Systems and Software

Année:

1996

Langue:

english

Fichier:

PDF, 204 KB

english, 1996

32

A calculus of program adaptation and its applications

Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili

Journal:

Science of Computer Programming

Année:

2000

Langue:

english

Fichier:

PDF, 300 KB

english, 2000

33

Semantic distance between specifications

Rym Mili, Jules Desharnais, Marc Frappier, Ali Mili

Journal:

Theoretical Computer Science

Année:

2000

Langue:

english

Fichier:

PDF, 146 KB

english, 2000

34

A relational approach to the design of deterministic programs

Journal:

Acta Informatica

Année:

1983

Langue:

english

Fichier:

PDF, 494 KB

english, 1983

35

Strongest invariant functions: Their use in the systematic analysis of while statements

Ali Mili, Jules Desharnais, Jean -Raymond Gagné

Journal:

Acta Informatica

Année:

1985

Langue:

english

Fichier:

PDF, 904 KB

english, 1985

36

Recoverability preservation: a measure of last resort

Ali Mili, Frederick Sheldon, Fatma Mili, Jules Desharnais

Journal:

Innovations in Systems and Software Engineering

Année:

2005

Langue:

english

Fichier:

PDF, 197 KB

english, 2005

37

Modeling security as a dependability attribute: a refinement-based approach

Ali Mili, Frederick Sheldon, Lamia Labed Jilani, Alex Vinokurov, Alex Thomasian, Rahma Ben Ayed

Journal:

Innovations in Systems and Software Engineering

Année:

2006

Langue:

english

Fichier:

PDF, 161 KB

english, 2006

38

Quantifying security threats and their potential impacts: a case study

Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili

Journal:

Innovations in Systems and Software Engineering

Année:

2010

Langue:

english

Fichier:

PDF, 236 KB

english, 2010

39

Desert Island Column: The Long Story of a Short Theorem

Journal:

Automated Software Engineering

Année:

1999

Langue:

english

Fichier:

PDF, 32 KB

english, 1999

40

A Case Study in Software Reuse

Edward Addy, Ali Mili, Sherif Yacoub

Journal:

Software Quality Journal

Année:

1999

Langue:

english

Fichier:

PDF, 206 KB

english, 1999

41

Managing Software Reuse Economics: An Integrated ROI-based Model

Ali Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang

Journal:

Annals of Software Engineering

Année:

2001

Langue:

english

Fichier:

PDF, 764 KB

english, 2001

42

A comparative analysis of hardware and software fault tolerance: Impact on software reliability engineering

Hany H. Ammar, Bojan Cukic, Ali Mili, Cris Fuhrman

Journal:

Annals of Software Engineering

Année:

2000

Langue:

english

Fichier:

PDF, 287 KB

english, 2000

43

Specification methodology: An integrated relational approach

Ali Mili, Wang Xiao-Yang, Yu Qing

Journal:

Software: Practice and Experience

Année:

1986

Langue:

english

Fichier:

PDF, 1.45 MB

english, 1986

44

Verifying programs by induction on their data structure: General format and applications

Journal:

Information Processing Letters

Année:

1983

Langue:

english

Fichier:

PDF, 512 KB

english, 1983

45

Correlation of SMN2, NAIP, p44, H4F5 and Occludin genes copy number with spinal muscular atrophy phenotype in Tunisian patients

Abdelbasset Amara, Labiba Adala, Ilhem Ben Charfeddine, Ons Mamaï, Amira Mili, Taheni Ben Lazreg, Dorra H’mida, Fathi Amri, Najla Salem, Lamia Boughammura, Ali Saad, Moez Gribaa

Journal:

European Journal of Paediatric Neurology

Année:

2012

Langue:

english

Fichier:

PDF, 806 KB

english, 2012

46

A quantitative model for software engineering trends

Latifa Ben Arfa Rabai, Yan Zhi Bai, Ali Mili

Journal:

Information Sciences

Année:

2011

Langue:

english

Fichier:

PDF, 964 KB

english, 2011

47

A versatile concept for the analysis of loops

Wided Ghardallou, Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaies, Ali Mili

Journal:

The Journal of Logic and Algebraic Programming

Année:

2012

Langue:

english

Fichier:

PDF, 536 KB

english, 2012

48

Two novel CYP11B1 mutations in congenital adrenal hyperplasia due to steroid 11β hydroxylase deficiency in a Tunisian family

Ilhem Ben Charfeddine, Felix G. Riepe, Najoua Kahloul, Alexandra E. Kulle, Labiba Adala, Ons Mamaï, Abdelbasset Amara, Amira Mili, Fathi Amri, Ali Saad, Paul-Martin Holterhus, Moez Gribaa

Journal:

General and Comparative Endocrinology

Année:

2012

Langue:

english

Fichier:

PDF, 807 KB

english, 2012

49

Invariant functions and invariant relations: An alternative to invariant assertions

Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Khaled Bsaies, Ali Mili

Journal:

Journal of Symbolic Computation

Année:

2013

Langue:

english

Fichier:

PDF, 373 KB

english, 2013

50

Defining and computing a value based cyber-security measure

Aissa, Anis Ben, Abercrombie, Robert K., Sheldon, Frederick T., Mili, Ali

Journal:

Information Systems and E-Business Management

Année:

2012

Langue:

english

Fichier:

PDF, 721 KB

english, 2012